Exploring Design Options Rationally
نویسندگان
چکیده
This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The rationale underlying the choices made by designers is recorded in a style based on the “Questions, Options, Criteria” notation. The means of capturing formal specifications and the reasoning behind design decisions are presented as parts of a uniform framework; a formal account is given of how design options satisfy criteria and how design options can be combined to answer larger design questions.
منابع مشابه
A System for Generating Process and Material Selection Advice During Embodiment Design of Mechanical Components
This paper describes a systematic approach to material and process selection during the embodiment design of mechanical components and a system for generating process and material selection advice. Quite often during the embodiment design stage, design requirements are not precisely defined. Therefore, the system described in this paper accounts for imprecision in design requirements during gen...
متن کاملDesign Options For Multimodal Web Applications
The capabilities of multimodal applications running on the web are well delineated since they are mainly constrained by what their underlying standard mark up language offers, as opposed to hand-made multimodal applications. As the experience in developing such multimodal web applications is growing, the need arises to identify and define major design options of such application to pave the way...
متن کاملVisualizing Our Options for Coastal Places: Exploring Realistic Immersive Geovisualizations as Tools for Inclusive Approaches to Coastal Planning and Management
Citation: Newell R, Canessa R and Sharma T (2017) Visualizing Our Options for Coastal Places: Exploring Realistic Immersive Geovisualizations as Tools for Inclusive Approaches to Coastal Planning and Management. Front. Mar. Sci. 4:290. doi: 10.3389/fmars.2017.00290 Visualizing Our Options for Coastal Places: Exploring Realistic Immersive Geovisualizations as Tools for Inclusive Approaches to Co...
متن کاملExploring Algorithmic Options for the Efficient Design and Reconfiguration of Reactive Robot Swarms
A key challenge in robot swarm engineering is the design of individual robot controllers such that the robots as a group can perform a specified task. In this paper, we explore algorithmic options for designing and reconfiguring swarms of synchronous reactive robots to perform a joint navigation / morphogenesis task in a known world. Our results show that neither of these problems can be solved...
متن کاملCompiler optimization-space exploration in the FACSE project
The next generations of processors will provide a very high degree of integration used for embedding several units on a chip. One of the biggest challenges is to design new tools for offering to these units enough useful work to benefit from these technological advances. In the Intel EPIC-Itanium architecture high performances are achevied by using the Explicit Parallel Instruction Computer (EP...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995